location |
trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_cexp_scenario.utz (math_cexp_scenario.utt), line 4062 |
occurence |
scenario |
math_cexp_scenario |
specification function |
cexp_spec() |
parameter value |
CallContext context = [pid=14189,thr=b75376c0] |
parameter value |
UnifloatComplex * @x = (long double) NaN + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L) |
parameter value |
UnifloatComplex * x = (long double) NaN + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L) |
return value |
(UnifloatComplex *) (long double) NaN + i *(long double) NaN |
coverage & branch |
C Some part of argument is NaN |
properties |
REQ failed |
cexpl.01 |
REQ failed |
cexpl.02 |
expected value |
(long double) NaN + i *(long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L) |
kind |
POSTCONDITION_FAILED |